Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then (...) becoming a fellow of Balliol College, Oxford, in 1966. Prior died on 6 October 1969 in Trondheim, Norway. After Prior’s death, many logicians and philosophers have analysed and discussed his approach to formal and philosophical logic. In particular, his contributions to modal logic, tense-logic and deontic logic have been studied. -/- In 1957, A.N. Prior proposed the three-valued modal logic Q as a ‘correct’ modal logic from his philosophical motivations, see Prior (1957). Prior developed Q in order to offer a logic for contingent beings, in which one could intelligibly and rationally state that some beings are contingent and some are necessary, see Akama & Nagata (2005). According to Akama & Nagata (2005), Q has a natural semantics. In other words, from the philosophical point of view, Q can be regarded as an ‘actualist’ modal logic. -/- This review article is a developed description of, and discussion on, ‘The System Q’ that is the fifth chapter of Prior (1957). In addition, in his logical analysis of ‘Time & Existence’ (that is the eights chapter of Prior (1967)), Prior has worked on system Q. Thus, Prior (1967) has also been very useful for this article. This article analyses the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions as well as semantic analysis. (shrink)

In June 2002, Arthur Andersen LLP became the first accounting firm in history to be criminally convicted. The repercussions were immense. From a position as one of the leading professional services firms in the world, with 85,000 staff in 84 countries and revenues in excess of $9 billion, Andersen effectively ceased to exist within a matter of months. Although Andersen’s conviction related specifically to a charge of obstructing justice, public attention focused on the audit relationship between Andersen and its (...) major client, Enron Corporation, particularly the actions (and inactions) that had allowed Enron to post spectacular year-on-year earnings and profit growth. As well as examining events leading up to the demise of Andersen, the case provides an opportunity to consider the broader controversy over accounting and corporate governance practices and, more generally, the pressures found within organisations that can foster unethical conduct. The case was prepared from public sources. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The current assessment of behaviors in the inventories to diagnose autism spectrum disorders (ASD) focus on observation and discrete categorizations. Behaviors require movements, yet measurements of physical movements are seldom included. Their inclusion however, could provide an objective characterization of behavior to help unveil interactions between the peripheral and the central nervous systems. Such interactions are critical for the development and maintenance of spontaneous autonomy, self-regulation and voluntary control. At present, current approaches cannot deal with the heterogeneous, dynamic and stochastic (...) nature of development. Accordingly, they leave no avenues for real-time or longitudinal assessments of change in a coping system continuously adapting and developing compensatory mechanisms. We offer a new unifying statistical framework to reveal re-afferent kinesthetic features of the individual with ASD. The new methodology is based on the non-stationary stochastic patterns of minute fluctuations (micro-movements) inherent to our natural actions. Such patterns of behavioral variability provide re-entrant sensory feedback contributing to the autonomous regulation and coordination of the motor output. From an early age, this feedback supports centrally driven volitional control and fluid, flexible transitions between intentional and spontaneous behaviors. We show that in ASD there is a disruption in the maturation of this form of proprioception. Despite this disturbance, each individual has unique adaptive compensatory capabilities that we can unveil and exploit to evoke faster and more accurate decisions. Measuring the kinesthetic re-afference in tandem with stimuli variations we can detect changes in their micro-movements indicative of a more predictive and reliable kinesthetic percept. Our methods address the heterogeneity of ASD with a personalized approach grounded in the inherent sensory-motor abilities that the individual has already developed. (shrink)

In the early 1960s A. N. Prior was commissioned to write a review of J. L. Austin’s S ense and Sensibilia. The review was never published. The present article presents a transcription of the review from the material available in the Virtual Lab For Prior Studies maintained at Aalborg University, together with an edited version of the transcription of a longer commentary on Sense and Sensibilia from which the review was condensed.

Introduction: Prinz’s SentimentalismMany ethicists claim that one cannot derive an ought from an is. In others words, they think that one cannot derive a statement that has prescriptive force from purely descriptive statements. This thesis plays a crucial role in many theoretical and practical ethical arguments. Since, according to many, David Hume advocated a view along these lines, this thesis has been called ‘Hume’s Law’. In this paper, I adopt this widespread terminology, whether or not Hume did indeed take this (...) position. There are some notable exceptions among philosophers, such as John SearleSee John R. Searle, “How to Derive “Ought” from “Is”,” Philosophical Review, Vol. 73, No. 1, (1964), pp. 43–58. and Arthur Prior,See Arthur N. Prior, “The Autonomy of Ethics,” Australasian Journal of Philosophy, Vol. 38, No. 3, (1960), pp. 199–206. but most philosophers have embraced Hume’s Law. Recently, however, Hume’s Law has come under attack. In his book The Emotional Construction of Mor. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a (...) brief discussion of Prior's views on identity and difference over time. (shrink)

Short article on the history of the Otago Department.

In English, in order to speak about Arthur’s attitudes, we use sentences like “Arthur believes that natural language is messy”. For sentences of this kind we have a standard theory, according to which the ‘that’-clause ‘that natural language is messy’ denotes a proposition. As Prior showed for the first time, the standard theory appears to be at odds with some linguistic data. Geach and Prior both assumed that linguistic data are to be taken as reliable guides (...) to a correct semantic account and I will start by raising some worries concerning their methodology. Because of these data, Prior and Geach suggested some non-standard accounts. I will then show that if we take linguistic data seriously, their non-standard accounts do not fare any better than the standard theory. My general conclusion will thus not only be that Prior’s and Geach’s methodology is disputable, but also that their conclusions do not seem to follow even if we grant the reliability of their methodology. (shrink)

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

I am grateful to Donald Ainslie, Lisa Austin, Michael Blake, Abraham Drassinower, David Dyzenhaus, George Fletcher, Robert Gibbs, Louis-Philippe Hodgson, Sari Kisilevsky, Dennis Klimchuk, Christopher Morris, Scott Shapiro, Horacio Spector, Sergio Tenenbaum, Malcolm Thorburn, Ernest Weinrib, Karen Weisman, and the Editors of Philosophy & Public Affairs for comments, and audiences in the UCLA Philosophy Department and Columbia Law School for their questions.

Throughout Alexandre Herculano’s historical oeuvre claims of impartiality are mingled with the partiality of the beliefs, ideals, and interests that give shape to the author’s point of view. One can trace in it both the commitment to the disinterested search for truth and the pragmatic intention to remodel the relations of Portuguese society with its past and with the effects of this past on the present. This text revisits Herculano’s major historical writings with the aim of understanding how it is (...) possible for historical texts to be or claim to be at the same time true and useful, objective and engaged, impartial and partial. I intend to show that those oppositions not necessarily entail paralyzing contradictions, and that good historians such as Herculano are usually capable of drawing from them a great amount of intellectual energy. Focusing on the tension between impartiality and partiality, and supported by close readings and contextual analyses, I will try to demonstrate that such tension configures itself in at least two different modes, which in turn depend on the positive or negative significance the studied past turns out to have for the person who studies it. (shrink)

Many have begun to despair that climate justice will prevail even in a minimal form. The affective dimensions of such despair, we suggest, threaten to make climate action appear too demanding. Thus, despair constitutes a moral challenge to individual climate action that has not yet received adequate attention. In response, we defend a duty to act in hope for a more just (climate) future. However, as we see it, this duty falls differentially upon the shoulders of more and less advantaged (...) agents in society. From arguments by Black thinkers like Derrick Bell, we draw a set of distinctions between two types of hope: one for ideal justice, and one for more modest change; and between two types of hopeful actions, those undertaken through formal political channels and those we call 'extra-political' actions; and between two sites of differential moral burdens, those of the privileged and those of the oppressed. Ours is a case for facing even bleak realities, demanding otherwise, and acting in hope to achieve a better future. (shrink)

The computational paradigm, which has dominated psychology and artificial intelligence since the cognitive revolution, has been a source of intense debate. Recently, several cognitive scientists have argued against this paradigm, not by objecting to computation, but rather by objecting to the notion of representation. Our analysis of these objections reveals that it is not the notion of representation per se that is causing the problem, but rather specific properties of representations as they are used in various psychological theories. Our analysis (...) suggests that all theorists accept the idea that cognitive processing involves internal information-carrying states that mediate cognitive processing. These mediating states are a superordinate category of representations. We discuss five properties that can be added to mediating states and examine their importance in various cognitive models. Finally, three methodological lessons are drawn from our analysis and discussion. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is stochastically (...) independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

There is a remarkable trend in contemporary environmentalism that emphasizes ‘accepting responsibility’ for the natural world in contrast to outdated preservationist thinking that shirks such responsibility. This approach is often explained and justified by reference to the anthropocene: this fundamentally new epoch—defined by human domination—requires active human intervention to avert planetary catastrophe. However, in this paper, I suggest this rhetoric encourages a flight from history. This often jubilant, sometimes anxious, yearning for unprecedented human innovation and—ultimately—control in our new millennia mirrors (...) the Futurist movement that took off near the beginning of the last century. Despite the significant differences in the details of how academics have defended this twenty-first-century environmental outlook, they all represent the true flight from history; they too quickly jettison the ideas of historical environmentalists and so misunderstand the environmental values at the heart of preservation that are more salient than ever. (shrink)

A scholar of Hellenistic and Prussian history, Droysen developed a historical theory that at the time was unprecedented in range and depth, and which remains to the present day a valuable key for understanding history as both an idea and a professional practice. Arthur Alfaix Assis interprets Droysen’s theoretical project as an attempt to redefine the function of historiography within the context of a rising criticism of exemplar theories of history, and focuses on Droysen’s claim that the goal underlying (...) historical writing and reading should be the development of the subjective capacity to think historically. In addition, Assis examines the connections and disconnections between Droysen’s theory of historical thinking, his practice of historical thought, and his political activism. Ultimately, Assis not only shows how Droysen helped reinvent the relationship between historical knowledge and human agency, but also traces some of the contradictions and limitations inherent to that project. (shrink)

Short intellectual biography of Alexandre Herculano. English translation available.

We expound an alternative to the Copenhagen interpretation of the formalism of nonrelativistic quantum mechanics. The basic difference is that the new interpretation is formulated in the language of epistemological realism. It involves a change in some basic physical concepts. The ψ function is no longer interpreted as a probability amplitude of the observed behaviour of elementary particles but as an objective physical field representing the particles themselves. The particles are thus extended objects whose extension varies in time according to (...) the variation of ψ. They are considered as fundamental regions of space with some kind of nonlocality. Special consideration is given to the Heisenberg relations, the Einstein-Podolsky- Rosen correlations, the reduction process, the problem of measurement, and the quantum-statistical distributions. (shrink)

Determinism is established in quantum mechanics by tracing the probabilities in the Born rules back to the absolute (overall) phase constants of the wave functions and recognizing these phase constants as pseudorandom numbers. The reduction process (collapse) is independent of measurement. It occurs when two wavepackets overlap in ordinary space and satisfy a certain criterion, which depends on the phase constants of both wavepackets. Reduction means contraction of the wavepackets to the place of overlap. The measurement apparatus fans out the (...) incoming wavepacket into spatially separated eigenpackets of the chosen observable. When one of these eigenpackets together with a wavepacket located in the apparatus satisfy the criterion, the reduction associates the place of contraction with an eigenvalue of the observable. The theory is nonlocal and contextual. Keywords:. (shrink)

The spin-statistics connection is derived in a simple manner under the postulates that the original and the exchange wave functions are simply added, and that the azimuthal phase angle, which defines the orientation of the spin part of each single-particle spin-component eigenfunction in the plane normal to the spin-quantization axis, is exchanged along with the other parameters. The spin factor (−1)2s belongs to the exchange wave function when this function is constructed so as to get the spinor ambiguity under control. (...) This is achieved by effecting the exchange of the azimuthal angle by means of rotations and admitting only rotations in one sense. The procedure works in Galilean as well as in Lorentz-invariant quantum mechanics. Relativistic quantum field theory is not required. (shrink)

A characterization result of dilation in terms of positive and negative association admits an extremal counterexample, which we present together with a minor repair of the result. Dilation may be asymmetric whereas covariation itself is symmetric. Dilation is still characterized in terms of positive and negative covariation, however, once the event to be dilated has been specified.

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

Exclusionary defeat is Joseph Raz’s proposal for understanding the more complex, layered structure of practical reasoning. Exclusionary reasons are widely appealed to in legal theory and consistently arise in many other areas of philosophy. They have also been subject to a variety of challenges. I propose a new account of exclusionary reasons based on their justificatory role, rejecting Raz’s motivational account and especially contrasting exclusion with undercutting defeat. I explain the appeal and coherence of exclusionary reasons by appeal to commonsense (...) value pluralism and the intermediate space of public policies, social roles, and organizations. We often want our choices to have a certain character or instantiate a certain value and in order to do so, that choice can only be based on a restricted set of reasons. Exclusion explains how pro tanto practical reasons can be disqualified from counting towards a choice of a particular kind without being outweighed or undercut. (shrink)

In this paper, I first present an overview of Asay’s _A Theory of Truthmaking_, highlighting what I take to be some of its most attractive features, especially his re-invigoration of the ontological understanding of truthmaking and his defence of ontology-first truthmaking over explanation-first truthmaking. Then, I articulate what I take to be a puzzling potential inconsistency: (a) he appeals to considerations to do with aboutness in criticising how well ontological views account for truth while (b) ruling out aboutness from the (...) right account of truthmaking. He argues, instead, that necessitation is both necessary and sufficient for truthmaking (§3.3). I suggest that adding aboutness to one’s account in the right way is not just compatible with but important for ontology-first truthmaking. I do all this to invite Asay to clarify his position on these matters. Overall, Asay’s worldview displays the fruitfulness of an ontologically serious approach to metaphysics that puts truthmaking centre-stage. (shrink)

Standard accounts of civil disobedience include nonviolence as a necessary condition. Here I argue that such accounts are mistaken and that civil disobedience can include violence in many aspects, primarily excepting violence directed at other persons. I base this argument on a novel understanding of civil disobedience: the special character of the practice comes from its combination of condemnation of a political practice with an expressed commitment to the political. The commitment to the political is a commitment to engaging with (...) others as co-members in the on-going political project of living together. I show how such an understanding of civil disobedience is superior to the Rawlsian strain of thought, which focuses on fidelity to law. Rawls was concerned with civil disobedience solely in the context of overriding political obligation. The project of characterizing a contestatory political practice that can be distinguished and used in a wider variety of contexts than Rawls is concerned with, including under illegitimate regimes, beyond the nation-state, or on behalf of anarchism, requires a different understanding of civil disobedience. (shrink)

The present narrative review seeks to unravel where we are now, and where we need to go to delineate the active ingredients in psychotherapy delivered by conversational agents (e.g., chatbots). While psychotherapy delivered by conversational agents has shown promising effectiveness for depression, anxiety, and psychological distress across several randomized controlled trials, little emphasis has been placed on the therapeutic processes in these interventions. The theoretical framework of this narrative review is grounded in prominent perspectives on the active ingredients in psychotherapy. (...) Based on search terms derived from various theoretical perspectives, we conducted a systematic literature search of four scientific databases and identified 17 studies. Across the selected studies, three themes emerged: relationship variables, emotional venting, and cognitive factors. While methodological issues compromise the epistemic value of this evidence base, core questions also remain to be answered. Such questions include, but are not limited to, whether humans can form affectionate bonds to inanimate beings and whether these kind of mental health treatments should be understood as psychotherapy or something else. Researchers should therefore be cautious when applying theories of psychotherapy in the realm of conversational agents. We conclude the paper by introducing recommendations for future research, which we hope will help instigate methodologically sound studies in this field. (shrink)

Political legitimacy is best understood as one type of a broader notion, which I call institutional legitimacy. An institution is legitimate in my sense when it has the right to function. The right to function correlates to a duty of non-interference. Understanding legitimacy in this way favorably contrasts with legitimacy understood in the traditional way, as the right to rule correlating to a duty of obedience. It helps unify our discourses of legitimacy across a wider range of practices, especially including (...) the many evaluations we increasingly make of international institutions of various sorts, but also including domestic institutions. (shrink)

At the end of the 19th century, most professional historians – wherever they existed – deemed history to be a form of knowledge ruled by a method that bears no resemblance with those most commonly traceable in the natural sciences. The bulk of the historian’s task was then frequently regarded as being the application of procedures frequently referred to as ‘historical method’. In the context of such an emerging interest on historical methods and methodology, at least three textbooks stand out: (...) Johann Gustav Droysen’s Grundriss der Historik (Outline of the Theory of History), Ernst Bernheim’s Lehrbuch der historischen Methode (Handbook of Historical Method), and Charles Langlois and Charles Seignobos’s Introduction aux études historiques (Introduction to the Study of History). These books were quite influential in Germany, France, and elsewhere, and they very much helped promote a general idea of historical method that would become relatively consensual among historians of many nationalities by the early 20th century. Such a relative agreement on historical method sponsored both the communication and the development of a sense of disciplinary identity among historians trained within different and sometimes conflicting national traditions. It was then partially extended, partially challenged, and surely made more complex when, from the 1920s on, social and economic historians became a good part of the historiographical establishment in many countries. -/- The three books by Droysen, Bernheim, and Langlois and Seignobos were already pieced together by Rolf Torstendahl, who studied them as a group of texts that, despite their differences, contributed to shape the developments outlined above. However, Torstendahl’s primary aim was to show how Droysen, Bernheim, and Seignobos all resorted to ‘method’ as a way to circumvent skepticism against the possibility of historical knowledge, rather than investigate the internal interrelationships between the three texts. In this chapter I follow precisely this latter, not yet taken, road, focusing on crucial cross-references between the Grundriss, the Lehrbuch, and the Introduction. I intend to show that, at a general level, the schemes of historical method found in these texts are largely convergent, and that this convergence is due to Bernheim’s reading of Droysen and to Langlois and Seignobos’s reading of Bernheim. I will attempt to do it through a regressive approach that starts with an analysis of the Introduction. Aspects of the editorial history and circulation of the three texts will also be briefly addressed, as a way to illustrate their special importance within the framework of early 20th century historical theory. Because my argument calls for a focus on the most general lines of Droysen’s, Bernheim’s, and Langlois and Seignobos’s schemes of historical method, I will, for the sake of consistency, refrain from analysing in-depth the complex epistemological and ontological arguments in which those schemes are nested. (shrink)

Since W. B. Gallie introduced the notion of essentially contested concepts (ECCs) in 1956, social science scholars have increasingly used his framework to analyze key concepts drawing “endless disputes” from contestant users. Despite its merits, the ECC framework has been limited by a neglect of social, cultural, and political contexts, the invisibility of actors, and its ahistorical character. To understand how ECCs evolve and change over time, I use a conceptual history approach to study the concept of philanthropy, recently labeled (...) as an ECC. Using France during classical modernity as a case study, I analyze key events and actors from the concept’s inception in 1712 as a virtue of the Enlightenment to its triumph after 1789 as a secular alternative to Catholic charity, until its decline at the end of the nineteenth century as a new consensus emerged around the concept of solidarity. By introducing the notion of historically contested concepts, I make several contributions to research on ECCs, conceptual contestation, and conceptual change. (shrink)

In recent years, semiotics has become an innovative theoretical framework in mathematics education. The purpose of this article is to show that semiotics can be used to explain learning as a process of experimenting with and communicating about one's own representations of mathematical problems. As a paradigmatic example, we apply a Peircean semiotic framework to answer the question of how students learned the concept of "distribution" in a statistics course by "diagrammatic reasoning" and by developing "hypostatic abstractions," that is by (...) forming new mathematical objects which can be used as means for communication and further reasoning. Peirce's semiotic terminology is used as an alternative for notions such as modeling, symbolizing, and reification. We will show that it is a precise instrument of analysis with regard to the complexity of learning and of communication in mathematics classroom. (shrink)

We present an alternative to the Copenhagen interpretation of the formalism of nonrelativistic quantum mechanics. The basic difference is that the new inter- pretation is formulated in the language of epistemological realism. It involves a change in some basic physical concepts. Elementary particles are considered as extended objects and nonlocal effects are included. The role of the new concepts in the problems of measurement and of the Einstein-Podolsky-Rosen correlations is described. Experiments to distinguish the proposed interpretation from the Copenhagen one (...) are pointed out. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails to (...) make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

This study examined the determinants of trust in artificial intelligence (AI) in the area of asset management. Many studies of risk perception have found that value similarity determines trust in risk managers. Some studies have demonstrated that value similarity also influences trust in AI. AI is currently employed in a diverse range of domains, including asset management. However, little is known about the factors that influence trust in asset management-related AI. We developed an investment game and examined whether shared investing (...) strategy with an AI advisor increased the participants’ trust in the AI. In this study, questionnaire data were analyzed (n=101), and it was revealed that shared investing strategy had no significant effect on the participants’ trust in AI. In addition, it had no effect on behavioral trust. Perceived ability had significantly positive effects on both subjective and behavioral trust. This paper also discusses the empirical implications of the findings. (shrink)

Trata-se de um trabalho de natureza didática cujo propósito é introduzir o leitor à teoria da história de Jörn Rüsen. O texto inicia-se com uma introdução que situa este autor no contexto do desenvolvimento histórico da disciplina “teoria da história. Está dividido em três capítulos, nos quais os cinco componentes da sua “matriz disciplinar da ciência histórica são apresentados e discutidos, a saber (1) as carências de orientação e funções orientativas; (2) perspectivas diretoras da interpretação histórica e métodos de pesquisa (...) empírica; e (3) as formas de apresentação histórica. O trabalho finaliza-se com uma lista bibliográfica, da qual constam os títulos mais importantes de Rüsen, bem como uma série de comentários à sua teoria da história. (shrink)

This book presents Robert S. Hartman’s formal theory of value and critically examines many other twentieth century value theorists in its light, including A.J. Ayer, Kurt Baier, Brand Blanshard, Paul Edwards, Albert Einstein, William K. Frankena, R.M. Hare, Nicolai Hartmann, Martin Heidegger, G.E. Moore, P.H. Nowell-Smith, Jose Ortega y Gasset, Charles Stevenson, Paul W. Taylor, Stephen E. Toulmin, and J.O. Urmson.

The essays collected in this special issue explore what legitimacy means for actors and institutions that do not function like traditional states but nevertheless wield significant power in the global realm. They are connected by the idea that the specific purposes of non-state actors and the contexts in which they operate shape what it means for them to be legitimate and so shape the standards of justification that they have to meet. In this introduction, we develop this guiding methodology further (...) and show how the special issue’s individual contributions apply it to their cases. In the first section, we provide a sketch of our purpose-dependent theory of legitimacy beyond the state. We then highlight two features of the institutional context beyond the state that set it apart from the domestic case: problems of feasibility and the structure of international law. (shrink)

There is no paradox with Schrödinger’s cat in a realist interpretation. In particular, a closer look at the temporal aspect shows that the two macroscopic wave functions (alive and dead) of Schrödinger’s cat are not to be compared with two superposed parts of a microscopic quantum wave function.

Why microscopic objects exhibit wave properties (are delocalized), but macroscopic do not (are localized)? Traditional quantum mechanics attributes wave properties to all objects. When complemented with a deterministic collapse model (Quantum Stud.: Math. Found. 3, 279 (2016)) quantum mechanics can dissolve the discrepancy. Collapse in this model means contraction and occurs when the object gets in touch with other objects and satisfies a certain criterion. One single collapse usually does not suffice for localization. But the object rapidly gets in touch (...) with other objects in a short time, leading to rapid localization. Decoherence is not involved. (shrink)

The perceptual symbol system view assumes that perceptual representations have a role-argument structure. A role-argument structure is often incorporated into amodal symbol systems in order to explain conceptual functions like abstraction and rule use. The power of perceptual symbol systems to support conceptual functions is likewise rooted in its use of structure. On Barsalou's account, this capacity to use structure (in the form of frames) must be innate.